perm filename WEISS.TEX[LET,RWF] blob
sn#875467 filedate 1989-07-21 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 \input rwflet
C00004 ENDMK
Cā;
\input rwflet
\rwflet
\address
Mr. Eric A. Weiss
Box 15943
Honolulu, HI 96815
\body
Dear Mr. Weiss:
My entry is correct, but a little vague, and can be misinterpreted as
giving Hoare the 1978 Turing award. I would say of myself:
I reinvented Turing's forgotten assertion method of program verification.
I invented the precedence and bounded-context methods of syntactic analysis,
the use of (Post) production systems in programming, the dominant
all-shortest-paths algorithm, and the best algorithm known for sampling
without replacement. I coinvented Heapsort, the dominant median algorithm,
and the dominant digital halftone algorithm.
Feel free to use any of the above.
\closing
Sincerely yours,
Ribert W. Floyd
\endletter
\end